Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Variable strength of forest stand attributes and weather conditions on the questing activity of Ixodes ricinus ticks over years in managed forests

Given the ever-increasing human impact through land use and climate change on the environment, we crucially need to achieve a better understanding of those factors that influence the questing activity of ixodid ticks, a major disease-transmitting vector in temperate forests. We investigated variation in the relative questing nymph densities of Ixodes ricinus in differently managed forest types for three years (2008–2010) in SW Germany by drag sampling. We used a hierarchical Bayesian modeling approach to examine the relative effects of habitat and weather and to consider possible nested structures of habitat and climate forces. The questing activity of nymphs was considerably larger in young forest successional stages of thicket compared with pole wood and timber stages. Questing nymph density increased markedly with milder winter temperatures. Generally, the relative strength of the various environmental forces on questing nymph density differed across years. In particular, winter temperature had a negative effect on tick activity across sites in 2008 in contrast to the overall effect of temperature across years. Our results suggest that forest management practices have important impacts on questing nymph density. Variable weather conditions, however, might override the effects of forest management practices on the fluctuations and dynamics of tick populations and activity over years, in particular, the preceding winter temperatures. Therefore, robust predictions and the detection of possible interactions and nested structures of habitat and climate forces can only be quantified through the collection of long-term data. Such data are particularly important with regard to future scenarios of forest management and climate warming

Childhood loneliness as a predictor of adolescent depressive symptoms: an 8-year longitudinal study

Childhood loneliness is characterised by children’s perceived dissatisfaction with aspects of their social relationships. This 8-year prospective study investigates whether loneliness in childhood predicts depressive symptoms in adolescence, controlling for early childhood indicators of emotional problems and a sociometric measure of peer social preference. 296 children were tested in the infant years of primary school (T1 5 years of age), in the upper primary school (T2 9 years of age) and in secondary school (T3 13 years of age). At T1, children completed the loneliness assessment and sociometric interview. Their teachers completed externalisation and internalisation rating scales for each child. At T2, children completed a loneliness assessment, a measure of depressive symptoms, and the sociometric interview. At T3, children completed the depressive symptom assessment. An SEM analysis showed that depressive symptoms in early adolescence (age 13) were predicted by reports of depressive symptoms at age 8, which were themselves predicted by internalisation in the infant school (5 years). The interactive effect of loneliness at 5 and 9, indicative of prolonged loneliness in childhood, also predicted depressive symptoms at age 13. Parent and peer-related loneliness at age 5 and 9, peer acceptance variables, and duration of parent loneliness did not predict depression. Our results suggest that enduring peer-related loneliness during childhood constitutes an interpersonal stressor that predisposes children to adolescent depressive symptoms. Possible mediators are discussed

Pasteurella multocida Heddleston serovar 3 and 4 strains share a common lipopolysaccharide biosynthesis locus but display both inter- and intrastrain lipopolysaccharide heterogeneity

Pasteurella multocida is a Gram-negative multispecies pathogen and the causative agent of fowl cholera, a serious disease of poultry which can present in both acute and chronic forms. The major outer membrane component lipopolysaccharide (LPS) is both an important virulence factor and a major immunogen. Our previous studies determined the LPS structures expressed by different P. multocida strains and revealed that a number of strains belonging to different serovars contain the same LPS biosynthesis locus but express different LPS structures due to mutations within glycosyltransferase genes. In this study, we report the full LPS structure of the serovar 4 type strain, P1662, and reveal that it shares the same LPS outer core biosynthesis locus, L3, with the serovar 3 strains P1059 and Pm70. Using directed mutagenesis, the role of each glycosyltransferase gene in LPS outer core assembly was determined. LPS structural analysis of 23 Australian field isolates that contain the L3 locus revealed that at least six different LPS outer core structures can be produced as a result of mutations within the LPS glycosyltransferase genes. Moreover, some field isolates produce multiple but related LPS glycoforms simultaneously, and three LPS outer core structures are remarkably similar to the globo series of vertebrate glycosphingolipids. Our in-depth analysis showing the genetics and full range of P. multocida lipopolysaccharide structures will facilitate the improvement of typing systems and the prediction of the protective efficacy of vaccines

Applied Interventions in the Prevention and Treatment of Obesity Through the Research of Professor Jane Wardle

Purpose of Review Obesity presents a challenge for practitioners, policy makers, researchers and for those with obesity themselves. This review focuses on psychological approaches to its management and prevention in children and adults. Recent Findings Through exploring the work of the late Professor Jane Wardle, we look at the earliest behavioural treatment approaches and how psychological theory has been used to develop more contemporary approaches, for example incorporating genetic feedback and habit formation theory into interventions. We also explore how Jane has challenged thinking about the causal pathways of obesity in relation to eating behaviour. Beyond academic work, Jane was an advocate of developing interventions which had real-world applications. Summary Therefore, we discuss how she not only developed new interventions but also made these widely available and the charity that she established

From DNA sequence to application: possibilities and complications

The development of sophisticated genetic tools during the past 15 years have facilitated a tremendous increase of fundamental and application-oriented knowledge of lactic acid bacteria (LAB) and their bacteriophages. This knowledge relates both to the assignments of open reading frames (ORF’s) and the function of non-coding DNA sequences. Comparison of the complete nucleotide sequences of several LAB bacteriophages has revealed that their chromosomes have a fixed, modular structure, each module having a set of genes involved in a specific phase of the bacteriophage life cycle. LAB bacteriophage genes and DNA sequences have been used for the construction of temperature-inducible gene expression systems, gene-integration systems, and bacteriophage defence systems. The function of several LAB open reading frames and transcriptional units have been identified and characterized in detail. Many of these could find practical applications, such as induced lysis of LAB to enhance cheese ripening and re-routing of carbon fluxes for the production of a specific amino acid enantiomer. More knowledge has also become available concerning the function and structure of non-coding DNA positioned at or in the vicinity of promoters. In several cases the mRNA produced from this DNA contains a transcriptional terminator-antiterminator pair, in which the antiterminator can be stabilized either by uncharged tRNA or by interaction with a regulatory protein, thus preventing formation of the terminator so that mRNA elongation can proceed. Evidence has accumulated showing that also in LAB carbon catabolite repression in LAB is mediated by specific DNA elements in the vicinity of promoters governing the transcription of catabolic operons. Although some biological barriers have yet to be solved, the vast body of scientific information presently available allows the construction of tailor-made genetically modified LAB. Today, it appears that societal constraints rather than biological hurdles impede the use of genetically modified LAB.

Magnetism, FeS colloids, and Origins of Life

A number of features of living systems: reversible interactions and weak bonds underlying motor-dynamics; gel-sol transitions; cellular connected fractal organization; asymmetry in interactions and organization; quantum coherent phenomena; to name some, can have a natural accounting via $physical$ interactions, which we therefore seek to incorporate by expanding the horizons of `chemistry-only' approaches to the origins of life. It is suggested that the magnetic 'face' of the minerals from the inorganic world, recognized to have played a pivotal role in initiating Life, may throw light on some of these issues. A magnetic environment in the form of rocks in the Hadean Ocean could have enabled the accretion and therefore an ordered confinement of super-paramagnetic colloids within a structured phase. A moderate H-field can help magnetic nano-particles to not only overcome thermal fluctuations but also harness them. Such controlled dynamics brings in the possibility of accessing quantum effects, which together with frustrations in magnetic ordering and hysteresis (a natural mechanism for a primitive memory) could throw light on the birth of biological information which, as Abel argues, requires a combination of order and complexity. This scenario gains strength from observations of scale-free framboidal forms of the greigite mineral, with a magnetic basis of assembly. And greigite's metabolic potential plays a key role in the mound scenario of Russell and coworkers-an expansion of which is suggested for including magnetism.Comment: 42 pages, 5 figures, to be published in A.R. Memorial volume, Ed Krishnaswami Alladi, Springer 201

A rapid mechanism to remobilize and homogenize highly crystalline magma bodies

International audienceThe largest products of magmatic activity on Earth, the great bodies of granite and their corresponding large eruptions, have a dual nature: homogeneity at the large scale and spatial and temporal heterogeneity at the small scale1-4. This duality calls for amechanism that selectively removes the large-scale heterogeneities associated with the incremental assembly4 of these magmatic systems and yet occurs rapidly despite crystal-rich, viscous conditions seemingly resistant to mixing2,5. Here we show that a simple dynamic template can unify a wide range of apparently contradictory observations from both large plutonic bodies and volcanic systems by a mechanism of rapid remobilization (unzipping) of highly viscous crystalrich mushes. We demonstrate that this remobilization can lead to rapid overturn and produce the observed juxtaposition ofmagmatic materials with very disparate ages and complex chemical zoning. What distinguishes our model is the recognition that the process has two stages. Initially, a stiff mushy magma is reheated from below, producing a reduction in crystallinity that leads to the growth of a subjacent buoyant mobile layer. When the thickening mobile layer becomes sufficiently buoyant, it penetrates the overlying viscous mushy magma. This second stage rapidly exports homogenized material from the lower mobile layer to the top of the system, and leads to partial overturn within the viscous mush itself as an additional mechanism of mixing. Model outputs illustrate that unzipping can rapidly produce large amounts of mobile magma available for eruption. The agreement between calculated and observed unzipping rates for historical eruptions at Pinatubo and at Montserrat demonstrates the general applicability of the model. This mechanism furthers our understanding of both the formation of periodically homogenized plutons (crust building) and of ignimbrites by large eruptions

Comparative efficacy and safety of biosimilar infliximab and other biological treatments in ankylosing spondylitis: systematic literature review and meta-analysis.

OBJECTIVES: To compare the efficacy and safety of infliximab-biosimilar with other biological drugs for the treatment of active ankylosing spondylitis (AS). METHODS: Systematic literature review for randomized controlled trials (RCTs) with adalimumab, etanercept, golimumab, infliximab and infliximab-biosimilar in AS was performed and indirect meta-analysis (Bayesian mixed treatment comparison) was carried out. The proportion of patients reaching 20 % improvement by the assessment of Spondyloarthritis International Society response criteria (ASAS20) at weeks 12 and 24 was used as efficacy endpoints, and the occurrence of serious adverse events at week 24 was applied to compare the safety of the biologicals. RESULTS: Altogether, 13 RCTs, identified by the systematic literature search, were included in the analysis. Results on the ASAS20 efficacy endpoint were reported for week 12 in 12 RCTs involving 2,395 patients, and for week 24 in 5 RCTs comprising 1,337 patients. All the five biological agents proved to be significantly superior to placebo. Infliximab showed the highest odds ratio (OR) of 7.2 (95 % CI 3.68-13.19) compared to placebo, followed by infliximab-biosimilar with OR 6.25 (95 % CI 2.55-13.14), both assessed at week 24. No significant difference was found between infliximab-biosimilar and other biological treatments regarding their efficacy and safety. CONCLUSIONS: This is the first study which includes a biosimilar drug in the meta-analysis of biological treatments in AS. The results have proven the similar efficacy and safety profile of infliximab-biosimilar treatment compared to other biologicals